Temporal Conformance of Federated Choreographies
نویسندگان
چکیده
Web service composition is a new way for implementing business processes. In particular, a choreography supportsmodeling and enactment of interorganizational business processes consisting of autonomous organizations. Temporal constraints are important quality criteria. We propose a technique for modeling temporal constraints in choreographies and orchestrations, checking whether the orchestrations satisfy the temporal constraints of a choreography and compute internal deadlines for the activities in an interorganizational workflow.
منابع مشابه
Conformance Test of Federated Choreographies
Web Services technology is constantly gaining importance for automation of business processes. A major contribution of this technology is its integration capability, i.e. compositions allowing several autonomous but cooperating web services to implement a business process going beyond the boundaries of a single organization. Federated choreographies provide a framework for modular modeling comp...
متن کاملProbabilistic Time Management of Choreographies
Temporal conformance of web service compositions guarantees the timely execution of service calls, decreases follow-up costs and increases QoS by avoiding deadline violations. Since it is impossible to make certain statements about the execution intervals of upcoming web service executions mainly due to varying activity durations and hardto-predict branching behavior we propose a probabilistic ...
متن کاملA Proposal for Checking the Conformance of ebBP-ST Choreographies and WS-BPEL Orchestrations
A common problem in applying choreographies and orchestrations is ensuring and enforcing the consistency of the models which is often referred to as “conformance checking”. In this position paper, we introduce a concept for checking the conformance of WS-BPEL based orchestrations to ebBP-ST choreographies: First, the ebBP-ST and WS-BPEL models will be transformed into the process algebra CCS. A...
متن کاملChecking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach
In this paper we present a formal model to represent orchestrations and choreographies, and we provide some semantic relations to detect their conformance, i.e., whether a set of orchestrations representing some web services leads to the overall communications described in
متن کاملTowards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based Orchestrations
Web Services technologies are a natural candidate for Business-to-Business integration (B2Bi). For crossorganizational processes, the concepts of “choreography” and “orchestration” are important. The term choreography denotes a model of a global view over message exchange scenarios, whereas the term orchestration focuses on models of the local implementation. While WS-BPEL is already kind of a ...
متن کامل